Semi Automated Partial Credit Grading of Programming Assignments

The grading of student programs is a time consuming process. As class sizes continue to grow, especially in entry level courses, manually grading student programs has become an even more daunting challenge. Increasing the difficulty of grading is the needs of graphical and interactive programs such as those used as part of the UNH Computer Science curriculum (and various textbooks). There are existing tools that support the grading of introductory programming assignments (TAME and Web-CAT). There are also frameworks that can be used to test student code (JUnit, Tester, and TestNG). While these programs and frameworks are helpful, they have little or no no support for programs that use real data structures or that have interactive or graphical features. In addition, the automated tests in all these tools provide only “all or nothing” evaluation. This is a significant limitation in many circumstances. Moreover, there is little or no support for dynamic alteration of grading criteria, which means that refactoring of test classes after deployment is not easily done. Our goal is to create a framework that can address these weaknesses. This framework needs to: 1. Support assignments that have interactive and graphical components. 2. Handle data structures in student programs such as lists, stacks, trees, and hash tables. 3. Be able to assign partial credit automatically when the instructor can predict errors in advance. 4. Provide additional answer clustering information to help graders identify and assign consistent partial credit for incorrect output that was not predefined. Most importantly, these tools, collectively called RPM (short for Rapid Program Management), should interface effectively with our current grading support framework without requiring large amounts of rewriting or refactoring of test code

Rate-independent evolution of sets

The goal of this work is to analyze a model for the rate-independent evolution of sets with finite perimeter. The evolution of the admissible sets is driven by that of a given time-dependent set, which has to include the admissible sets and hence is to be understood as an external loading. The process is driven by the competition between perimeter minimization and minimization of volume changes. \par In the mathematical modeling of this process, we distinguish the adhesive case, in which the constraint that the (complement of) the `external load' contains the evolving sets is penalized by a term contributing to the driving energy functional, from the brittle case, enforcing this constraint. The existence of Energetic solutions for the adhesive system is proved by passing to the limit in the associated time-incremental minimization scheme. In the brittle case, this time-discretization procedure gives rise to evolving sets satisfying the stability condition, but it remains an open problem to additionally deduce energy-dissipation balance in the time-continuous limit. This can be obtained under some suitable quantification of data. The properties of the brittle evolution law are illustrated by numerical examples in two space dimensions.Comment: Dedicated to Alexander Mielke on the occasion of his 60th birthda

The O2 A-band in fluxes and polarization of starlight reflected by Earth-like exoplanets

Earth-like, potentially habitable exoplanets are prime targets in the search for extraterrestrial life. Information about their atmosphere and surface can be derived by analyzing light of the parent star reflected by the planet. We investigate the influence of the surface albedo $A_{\rm s}$, the optical thickness $b_{\rm cloud}$ and altitude of water clouds, and the mixing ratio $\eta$ of biosignature O$_2$ on the strength of the O$_2$ A-band (around 760 nm) in flux and polarization spectra of starlight reflected by Earth-like exoplanets. Our computations for horizontally homogeneous planets show that small mixing ratios ($\eta$ < 0.4) will yield moderately deep bands in flux and moderate to small band strengths in polarization, and that clouds will usually decrease the band depth in flux and the band strength in polarization. However, cloud influence will be strongly dependent on their properties such as optical thickness, top altitude, particle phase, coverage fraction, horizontal distribution. Depending on the surface albedo, and cloud properties, different O$_2$ mixing ratios $\eta$ can give similar absorption band depths in flux and band strengths in polarization, in particular if the clouds have moderate to high optical thicknesses. Measuring both the flux and the polarization is essential to reduce the degeneracies, although it will not solve them, in particular not for horizontally inhomogeneous planets. Observations at a wide range of phase angles and with a high temporal resolution could help to derive cloud properties and, once those are known, the mixing ratio of O$_2$ or any other absorbing gas.Comment: 21 pages, 20 figures, accepted for publication in Ap

Macroscopic Floquet topological crystalline steel pump

The transport of a steel sphere on top of two dimensional periodic magnetic patterns is studied experimentally. Transport of the sphere is achieved by moving an external permanent magnet on a closed loop around the two dimensional crystal. The transport is topological i.e. the steel sphere is transported by a primitive unit vector of the lattice when the external magnet loop winds around specific directions. We experimentally determine the set of directions the loops must enclose for nontrivial transport of the steel sphere into various directions

A Compact Apparatus for Muon Lifetime Measurement and Time Dilation Demonstration in the Undergraduate Laboratory

We describe a compact apparatus that automatically measures the charge averaged lifetime of atmospheric muons in plastic scintillator using low-cost, low-power electronics and that measures the stopping rate of atmospheric muons as a function of altitude to demonstrate relativistic time dilation. The apparatus is designed for the advanced undergraduate physics laboratory and is suitable for field measurements.Comment: 5 pages, 2 figure

Imaging the collective excitations of an ultracold gas using statistical correlations

Advanced data analysis techniques have proved to be crucial for extracting information from noisy images. Here we show that principal component analysis can be successfully applied to ultracold gases to unveil their collective excitations. By analyzing the correlations in a series of images we are able to identify the collective modes which are excited, determine their population, image their eigenfunction, and measure their frequency. Our method allows to discriminate the relevant modes from other noise components and is robust with respect to the data sampling procedure. It can be extended to other dynamical systems including cavity polariton quantum gases or trapped ions.Comment: See also the supplementary material and the video abstrac

Adaptive Probabilistic Flooding for Multipath Routing

In this work, we develop a distributed source routing algorithm for topology discovery suitable for ISP transport networks, that is however inspired by opportunistic algorithms used in ad hoc wireless networks. We propose a plug-and-play control plane, able to find multiple paths toward the same destination, and introduce a novel algorithm, called adaptive probabilistic flooding, to achieve this goal. By keeping a small amount of state in routers taking part in the discovery process, our technique significantly limits the amount of control messages exchanged with flooding -- and, at the same time, it only minimally affects the quality of the discovered multiple path with respect to the optimal solution. Simple analytical bounds, confirmed by results gathered with extensive simulation on four realistic topologies, show our approach to be of high practical interest.Comment: 6 pages, 6 figure